#include<iostream>

using namespace std;
// zdl:: zdl:: 现在这个就是多重背包的问题
// zdl:: 同时还是需要注意一些细节问题，现在我还有很多的东西需要学习
int w[] = {0, 1, 2, 3, 5, 10, 20};
int a[7];
bool f[1010];

int main()
{
    for (int i = 1; i <= 6; i++) cin >> a[i];

    // 现在开始完全背包
    // zdl:: 1.初始化
    f[0] = true;
    for (int i = 1; i <= 6; i++)
    {
        for (int j = 1000; j >= 0; j--)
        {
            for (int k = 0; k <= a[i] && k * w[i] <= j; k++)
            {
                f[j] = f[j] || f[j - k * w[i]];
            }
        }
    }

    // zdl:: 接下来就是计算统计有多少中重量可以直接被统计
    int ret = 0;
    for (int i = 1; i <= 1000; i++)
    {
        if (f[i]) ret++;
    }
    cout << "Total=" << ret << endl;
    return 0;
}
